Induced permutation automata and coverings of strongly connected automata
نویسندگان
چکیده
منابع مشابه
Ideal regular languages and strongly connected synchronizing automata
We introduce the notion of reset left regular decomposition of an ideal regular language and we prove that the category formed by these decompositions with certain morphisms is equivalent to the category of strongly connected synchronizing automata. We show that each ideal regular language has at least a reset left regular decomposition. As a consequence, each ideal regular language is the set ...
متن کاملALGEBRAS WITH CYCLE-FINITE STRONGLY SIMPLY CONNECTED GALOIS COVERINGS
Let $A$ be a nite dimensional $k-$algebra and $R$ be a locally bounded category such that $R rightarrow R/G = A$ is a Galois covering dened by the action of a torsion-free group of automorphisms of $R$. Following [30], we provide criteria on the convex subcategories of a strongly simply connected category R in order to be a cycle- nite category and describe the module category of $A$. We p...
متن کاملVerifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
Automata theory has played an important role in theoretical computer science since last couple of decades. The algebraic automaton has emerged with several modern applications, for example, optimization of programs, design of model checkers, development of theorem provers because of having certain interesting properties and structures from algebraic theory of mathematics. Design of a complex sy...
متن کاملalgebras with cycle-finite strongly simply connected galois coverings
let $a$ be a nite dimensional $k-$algebra and $r$ be a locally bounded category such that $r rightarrow r/g = a$ is a galois covering de ned by the action of a torsion-free group of automorphisms of $r$. following [30], we provide criteria on the convex subcategories of a strongly simply connected category r in order to be a cycle- nite category and describe the module category of $a$. we pro...
متن کاملAbout Strongly Universal Cellular Automata
In this paper, we construct a strongly universal cellular automaton on the line with 11 states and the standard neighbourhood. We embed this construction into several tilings of the hyperbolic plane and of the hyperbolic 3D space giving rise to strongly universal cellular automata with 10 states.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1999
ISSN: 0166-218X
DOI: 10.1016/s0166-218x(98)00150-4